OBRAS COMPLETAS
VAT included
Description
La casi mítica fama de Kurt Gödel entre lógicos, matemáticos y filósofos descansa en tres logros de importancia excepcional: en 1930 probó la suficiencia del cálculo lógico de primer orden/ en 1931 probó que todo sistema formal que contenga un poco de aritmética e s necesariamente incompleto y que es imposible probar su consistencia con sus propios medios/ y en 1938-1939 probó la consistencia r elativa del axioma de elección y la hipótesis del continuo respecto de los demás axiomas de la teoría de conjuntos. Estas Obras comp letas re...Status: Available for online purchase in 4-5 days
Availability
Buy it now and we will send it to you when we have stock. The charge to your account will be made only when the product is shipped.
DetailsALIANZA EDITORIAL
2006
469 Pages
Format: Rústica
ISBN: 9788420647739
Language: CASTELLANOTranslator: MOSTERÍN DE LAS HERAS, JESÚS
Category: Maths